"David A. McAllester" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Worlds of Music: An Introduction to the Music of the World's Peoples , Fifth Edition

Jeff Todd Titon, Timothy J. Cooley, David Locke, David P. McAllester, Anne K. Rasmussen

20.73 Mb

#2

Automated deduction - CADE-17: 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings, Volume 17, Part 2000 (Lecture Notes in Artificial Intelligence 1831)

David A. McAllester

4.06 Mb

#3

Worlds of Music : An Introduction to the Music of the World’s Peoples , Shorter Version, Third Edition

Jeff Todd Titon, Timothy J. Cooley, David Locke, David P. McAllester, Anne K. Rasmussen

25.09 Mb

#4

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Harald Ganzinger, David McAllester, Andrei Voronkov

21.68 Mb

#5

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

David McAllester

5.04 Mb